1163 search results - page 219 / 233 » Case Studies of Model Checking for Embedded System Designs |
208
click to vote
GIS
2003
ACM
16 years 2 months ago
2003
ACM
With the proliferation of mobile computing, the ability to index efficiently the movements of mobile objects becomes important. Objects are typically seen as moving in two-dimensi...
136
click to vote
IPPS
2003
IEEE
15 years 7 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
108
Voted
ICNSC
2007
IEEE
15 years 8 months ago
2007
IEEE
—Intermodal freight transportation is defined as a system that carries freight from origin to destination by using two or more transportation modes. In this system, hubs are one ...
116
click to vote
CCGRID
2010
IEEE
15 years 2 months ago
2010
IEEE
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
144
Voted
NOCS
2007
IEEE
15 years 8 months ago
2007
IEEE
Network-on-Chip (NoC) architectures have a wide variety of parameters that can be adapted to the designer’s requirements. Fast exploration of this parameter space is only possib...