Sciweavers

144 search results - page 20 / 29
» A compiler framework for the reduction of worst-case executi...
Sort
View
ACSAC
2007
IEEE
14 years 2 months ago
Fine-Grained Information Flow Analysis and Enforcement in a Java Virtual Machine
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
Deepak Chandra, Michael Franz
MICRO
2000
IEEE
74views Hardware» more  MICRO 2000»
13 years 11 months ago
A framework for dynamic energy efficiency and temperature management
While technology is delivering increasingly sophisticated and powerful chip designs, it is also imposing alarmingly high energy requirements on the chips. One way to address this ...
Michael C. Huang, Jose Renau, Seung-Moon Yoo, Jose...
POPL
1997
ACM
13 years 11 months ago
Synchronization Transformations for Parallel Computing
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
Pedro C. Diniz, Martin C. Rinard
EPIA
2003
Springer
14 years 25 days ago
jcc: Integrating Timed Default Concurrent Constraint Programming into Java
Abstract. This paper describes jcc, an integration of the timed default concurrent constraint programming framework [16] (Timed Default cc) into JAVA [7]. jcc is intended for use i...
Vijay A. Saraswat, Radha Jagadeesan, Vineet Gupta
DASFAA
2003
IEEE
99views Database» more  DASFAA 2003»
14 years 28 days ago
Scalable View Expansion in a Peer Mediator System
To integrate many data sources we use a peer mediator framework where views defined in the peers are logically composed in terms of each other. A common approach to execute queri...
Timour Katchaounov, Vanja Josifovski, Tore Risch