1999 search results - page 363 / 400 » Dependently Typed Grammars |
115
click to vote
HIPEAC
2007
Springer
15 years 8 months ago
2007
Springer
In a dynamic reordering superscalar processor, the front-end fetches instructions and places them in the issue queue. Instructions are then issued by the back-end execution core. T...
136
click to vote
LSSC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We review some recent developments in the coupling of atomistic and continuum models based on the blending of the two models in a bridge region connecting the other two r...
135
click to vote
MIDDLEWARE
2007
Springer
15 years 8 months ago
2007
Springer
Although there is a large body of research on detection and prevention of such memory corruption attacks as buffer overflow, integer overflow, and format string attacks, the web...
102
click to vote
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Analysis of biological data often requires an understanding of components of pathways and/or networks and their mutual dependency relationships. Such systems are often analyzed and...
DATE
2006
IEEE
15 years 8 months ago
2006
IEEE
—Wireless Sensor Networks provide opportunities even outside their usual application domain of environmental monitoring. In this paper we present a case study on the use of Wirel...