12438 search results - page 249 / 2488 » The Magic of a Number System |
175
click to vote
ISLPED
1999
ACM
15 years 11 months ago
1999
ACM
We propose a technique for reducing the energy required by rmware code to execute on embedded systems. The method is based on the idea of compressing the most commonly executed in...
223
click to vote
ECOOP
1999
Springer
15 years 11 months ago
1999
Springer
THOR is a persistent object store that provides a powerful programming model. THOR ensures that persistent objects are accessed only by calling their methods and it supports atomic...
183
click to vote
HT
1998
ACM
15 years 11 months ago
1998
ACM
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
163
click to vote
ISSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Given a hardware/software partitioned specification and an allocation (number and type) of processors, we present an algorithm to (1) map each of the software behaviors (or tasks...
205
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...