2794 search results - page 167 / 559 » A New Architecture for Automated Modelling |
286
Voted
ATVA
2011
Springer
14 years 7 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
184
click to vote
DAC
2004
ACM
16 years 8 months ago
2004
ACM
We describe a new extraction tool, EMX (Electro-Magnetic eXtractor), for the analysis of RF, analog and high-speed digital circuits. EMX is a fast full-wave field solver. It incor...
167
Voted
CORR
2007
Springer
15 years 7 months ago
2007
Springer
: As Grid computing is becoming an inevitable future, managing, scheduling and monitoring dynamic, heterogeneous resources will present new challenges. Solutions will have to be ag...
207
click to vote
EUROMICRO
2006
IEEE
16 years 1 months ago
2006
IEEE
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
171
Voted
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...