158 search results - page 23 / 32 » High-Level Modeling and Analysis of TCAS |
VSTTE
2005
Springer
14 years 3 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
ISCAS
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
IWLCS
2001
Springer
14 years 2 months ago
2001
Springer
In previous papers we have described the basic elements for building an economic model consisting of a group of artificial traders functioning and adapting in an environment conta...
WSC
2007
14 years 5 days ago
2007
Large, heterogeneous volumes of simulation data are calculated and stored in many disciplines, e.g. in climate and climate impact research. To gain insight, current climate analys...
ACSW
2004
13 years 11 months ago
2004
Creating a robust image classification system depends on having enough data with which one can adequately train and validate the model. If there is not enough available data, this...