9110 search results - page 253 / 1822 » Formally-Based Design Evaluation |
125
click to vote
CHI
2005
ACM
16 years 6 months ago
2005
ACM
Current standard interfaces for entering mathematical equations on computers are arguably limited and cumbersome. Mathematics notations have evolved to aid visual thinking and yet...
191
click to vote
HPCA
2003
IEEE
16 years 6 months ago
2003
IEEE
We consider the impact of different communication architectures on the performability (performance + availability) of cluster-based servers. In particular, we use a combination of ...
152
click to vote
HPCA
2001
IEEE
16 years 6 months ago
2001
IEEE
The use of the Java programming language for implementing server-side application logic is increasing in popularity, yet there is very little known about the architectural require...
183
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
Vehicular ad hoc networks (VANETs) using WLAN technology have recently received considerable attention. The evaluation of VANET routing protocols often involves simulators since m...
165
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
— With process variation becoming a growing concern in deep submicron technologies, the ability to efficiently obtain an accurate estimate of failure probability of SRAM compone...