4305 search results - page 236 / 861 » The Test of Time |
174
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
Timed and hybrid automata are extensions of finite-state machines for formal modeling of embedded systems with both discrete and continuous components. Reachability problems for t...
175
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
As the geometry shrinking faces severe limitations, 3D wafer stacking with through silicon via (TSV) has gained interest for future SOC integration. Since TSV fill material and s...
214
click to vote
VIS
2004
IEEE
16 years 7 months ago
2004
IEEE
Typically there is a high coherence in data values between neighboring time steps in an iterative scientific software simulation; this characteristic similarly contributes to a co...
201
Voted
HUMAN
2003
Springer
15 years 12 months ago
2003
Springer
Delivered end-to-end QoS is often limited by the ineffective resource management at Internet end systems. To overcome this problem, we present a resource allocation framework tha...
165
click to vote
ICSM
2002
IEEE
15 years 11 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....