2435 search results - page 267 / 487 » System Exploration of SystemC Designs |
124
click to vote
ENTCS
2008
15 years 6 months ago
2008
We report our experience with exploring a new point in the design space for formal reasoning systems: the development of the programming language mega. mega is intended as both a ...
185
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Distributedsoftwareenvironmentsareincreasinglycomplex anddiculttomanage,astheyintegratevariouslegacysoftware with specic management interfaces. Moreover, the factthatmanagementtas...
123
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Previous research exploring interpersonal-technologymediated interruptions has focused on understanding how the knowledge of an individuals local context can be utilized to redu...
179
click to vote
DNIS
2010
Springer
16 years 20 days ago
2010
Springer
In recent years, several frameworks have been developed for processing very large quantities of data on large clusters of commodity PCs. These frameworks have focused on fault-tole...
160
click to vote
FSR
2007
Springer
16 years 10 days ago
2007
Springer
This paper describes the basic control, navigation, and mapping methods and experiments a hovering autonomous underwater vehicle (AUV) designed to explore flooded cenotes in Mexi...