1163 search results - page 195 / 233 » Case Studies of Model Checking for Embedded System Designs |
107
click to vote
HICSS
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...
134
click to vote
ASAP
2005
IEEE
15 years 7 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
120
click to vote
WADT
1998
Springer
15 years 5 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
135
click to vote
MM
2004
ACM
15 years 7 months ago
2004
ACM
Information gathering from multimedia retrieval systems is aided by effective visualization, but the degree to which visualization is effective depends in part on the way the cont...
107
click to vote
WSC
2008
15 years 4 months ago
2008
Creation of an Outpatient Procedure Center (OPC) is a complicated endeavor, requiring a detailed understanding of the resources available and the procedures to be performed. Misca...