1356 search results - page 135 / 272 » The ideal of verified software |
172
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We describe a simple scheme for mapping synchronous language models, in the form of Boolean Mealy Machines, into timed automata. The mapping captures certain idealized implementat...
162
click to vote
GRAPHICSINTERFACE
2001
15 years 7 months ago
2001
Stereoscopic display is fundamental to many virtual reality systems. Stereoscopic systems render two perspective views of a scene one for each eye of the user. Ideally the user�...
194
click to vote
CODES
2009
IEEE
15 years 7 months ago
2009
IEEE
The H.264 video codec provides exceptional video compression while imposing dramatic increases in computational complexity over previous standards. While exploiting parallelism in...
160
click to vote
ECSA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Architecture-centric, component-based development intensively reuses components from repositories. Such development processes produce architecture definitions, using arch...
153
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
Ideally, enterprise administrators could specify fine-grain policies that drive how the underlying switches forward, drop, and measure traffic. However, existing techniques for fl...