1020 search results - page 146 / 204 » Implementation of a Constraint-Based Visualization System |
FMICS
2006
Springer
14 years 26 days ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
FMCAD
2000
Springer
14 years 24 days ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
EUROPAR
1995
Springer
14 years 23 days ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
HICSS
2010
IEEE
13 years 9 months ago
2010
IEEE
We present a new interface for exploring and navigating large-scale discussions on the internet. Our system, tldr, focuses on three primary user goals: finding, navigating and fil...
JCP
2008
13 years 9 months ago
2008
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...