5600 search results - page 385 / 1120 » Synthesizing robust systems |
155
Voted
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
188
click to vote
VLSID
2006
IEEE
16 years 7 months ago
2006
IEEE
Performance of applications can be boosted by executing application-specific Instruction Set Extensions (ISEs) on a specialized hardware coupled with a processor core. Many commer...
220
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
In this paper, we describe NoCGEN, a Network On Chip (NoC) generator, which is used to create a simulatable and synthesizable NoC description. NoCGEN uses a set of modularised rou...
123
click to vote
CHI
2003
ACM
16 years 7 months ago
2003
ACM
Olfaction is considered to be an important sensory modality in next-generation virtual reality (VR) systems. We currently focus on spatiotemporal control of odor, rather than capt...
290
click to vote
VLDB
2001
ACM
16 years 7 months ago
2001
ACM
The problem of answering queries using views is to find efficient methods of answering a query using a set of previously materialized views over the database, rather than accessin...