10159 search results - page 1728 / 2032 » System Design Validation Using Formal Models |
165
click to vote
ISPASS
2006
IEEE
16 years 22 days ago
2006
IEEE
The performance of computer systems depends, among other things, on the workload. Performance evaluations are therefore often done using logs of workloads on current productions s...
182
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Outside of the laboratory, accurate models of ground impact dynamics are either difficult or impossible to obtain. Instead, a rigid ground model is often used in gait and cont...
153
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
The benefit of Class-of-Service (CoS) is an important topic in the "Network Neutrality" debate. Proponents of network neutrality suggest that over-provisioning is a viab...
158
Voted
CODES
2006
IEEE
16 years 23 days ago
2006
IEEE
Middleware for parallel and distributed systems is designed to virtualize computation and communication resources so that a more and consistent view of those resources is presente...
173
click to vote
IISWC
2006
IEEE
16 years 22 days ago
2006
IEEE
Many embedded real world applications are intellectual property, and vendors hesitate to share these proprietary applications with computer architects and designers. This poses a ...