Search
Skip to Search Results- 414Computing Science, Department of
- 315Computing Science, Department of/Technical Reports (Computing Science)
- 71Computing Science, Department of/Conference Papers (Computing Science)
- 23Computing Science, Department of/Journal Articles (Computing Science)
- 4Computing Science, Department of/Research Data and Materials (Computing Science)
- 1Computing Science, Department of/Presentations (Computing Science)
- 95Hindle, Abram
- 28Szafron, Duane
- 21Schaeffer, Jonathan
- 19Zaiane, Osmar
- 15Ozsu, M. Tamer
- 14Nascimento, Mario
- 29Database Systems
- 18Artificial Intelligence
- 13Computer Games
- 9Computer Graphics
- 9Databases
- 9Software Engineering
-
1992
Technical report TR92-13. Enterprise is a graphical programming environment for designing, coding, debugging, testing, monitoring, profiling and executing programs in a distributed hardware environment. Enterprise code looks like familiar sequential code. The user attaches icons, called assets,...
-
1992
Schaeffer, Jonathan, Lobe, Greg, Parsons, Ian, Szafron, Duane, Melax, Stan, Smith, Carol, Lu, Paul
Technical report TR92-20. Workstations have been in use for more than a decade now. Although a network of workstations represents a large amount of aggregate computing power, there is a need for software that can harness this power for single, distributed applications. Enterprise is an...
-
The Graph Isomorphism Problem
1996
Technical report TR96-20. The graph isomorphism problem can be easily stated: check to see if two graphs that look differently are actually the same. The problem occupies a rare position in the world of complexity theory, it is clearly in NP but is not known to be in P and it is not known to be...
-
2014
Chenlei, Z., Hindle, Abram, German, D.M
Hardware and software engineers are instrumental in developing energy-efficient mobile systems. Unfortunately, the last mile of energy efficiency relies on end users' choices and requirements. Imagine a user who has no power outlet access and must remain productive on the laptop's battery. How...
-
1998
Leontiev, Yuri, Ozsu, M. Tamer, Szafron, Duane
Technical report TR98-01. In this paper we present a type system that combines inclusion and parametric polymorphism with behaviors (multi-methods) and precise function typing. Type declarations allow user-definable variance specification of type parameters and user-definable subtyping between...
-
1994
Ozsu, M. Tamer, Tansel, Abdullah, Vittal, Chiradeep
Technical report TR94-16. We describe the design of a multimedia database for a distributed news-on-demand multimedia information system. News-on-demand is an application that utilizes broadband network services to deliver news articles to subscribers in the form of multimedia documents. ...
-
The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar
1996
Technical report TR96-09. An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by 2 by 1 dominoes. John McCarthy postulates that a mechanized system of heavy duty set theory should accept his formal description of the proposition and his proof that the covering...
-
The Power of System Call Traces: Predicting the Software Energy Consumption Impact of Changes
Download2014
Aggarwal, K., Chenlei, Z., Campbell, J., Hindle, Abram, Stroulia, E.
Battery is a critical resource for smartphones. Software developers as the builders and maintainers of applications, are responsible for updating and deploying energy efficient applications to end users. Unfortunately, the impact of software change on energy consumption is still unclear....
-
1993
Peters, Randal J., Ozsu, M. Tamer, Szafron, Duane, Lipka, Anna
Technical report TR93-01. The establishment of a formal object model provides a theoretical foundation to investigate other objectbase features such as query processing. In this report, we present an extensible uniform behavioral object query model for the TIGUKAT(*) object management system. ...