223 search results - page 24 / 45 » Types, Maps and Separation Logic |
117
Voted
SASP
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract—One of the ways that custom instruction set extensions can improve over software execution is through the use of hardware structures that have been optimized at the arit...
135
Voted
ICDE
1994
IEEE
15 years 7 months ago
1994
IEEE
We describe the design and implementation of QBISM (Query By Interactive, Spatial Multimedia), a prototype for querying and visualizing 3D spatial data. Our first application is i...
247
Voted
LCC
1994
15 years 7 months ago
1994
The descriptive complexity of a problem is the complexity of describing the problem in some logical formalism. One of the few techniques for proving separation results in descripti...
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
Today’s system-on-a-chip designs consist of many cores. To enable cores to be easily integrated into different systems, many propose creating cores with their internal logic sep...
120
Voted
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...