2493 search results - page 384 / 499 » Tool Support for Design by Contract |
166
click to vote
MICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Recent experimental advances have demonstrated technologies capable of supporting scalable quantum computation. A critical next step is how to put those technologies together into...
136
Voted
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
Developing network protocols for mobile wireless systems is a complex task, and most of the existing simulator frameworks are not well suited for experimental development. The YAE...
154
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The Army’s push towards developing highly flexible military teams that combine manned and unmanned units requires significant advances in the intelligence of the unmanned units ...
157
Voted
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
This paper summarizes the design and implementation of a parallel algorithm for state assignment of large Finite State Machines (FSMs). High performance CAD tools are necessary to...
159
Voted
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
ct Travelling upon the Web is difficult for visually impaired users since the Web pages are designed for visual interaction [6]. Visually impaired users usually use screen readers...