9110 search results - page 46 / 1822 » Formally-Based Design Evaluation |
INTERACT
2007
14 years 11 months ago
2007
Abstract. Recent developments in occlusion management for 3D environments often involve the use of dynamic transparency, or virtual “Xray vision”, to promote target discovery a...
PUC
2008
14 years 9 months ago
2008
Although many recent systems have been built to support Information Capture and Retrieval (ICR), these have not generally been successful. This paper presents studies that evaluate...
AINA
2005
IEEE
15 years 3 months ago
2005
IEEE
Input Buffered Switches with Virtual Output Queues(VOQ) design to avoid Head-Of-Line problems, is a primary design of switches that can be scalable to very high speeds. However, t...
FPL
2000
Springer
15 years 1 months ago
2000
Springer
Many applications can be modeled as subgraph isomorphism problems. However, this problem is generally NP-complete and difficult to compute. A custom computing circuit is a prospect...
CODES
2001
IEEE
15 years 1 months ago
2001
IEEE
We introduce the foundation of a system modeling environment targeted at capturing the anticipated interactions of hardware and software behaviors -- not just their co-execution. ...