7124 search results - page 1123 / 1425 » Programming Languages and Operating Systems |
127
click to vote
EDOC
2003
IEEE
15 years 9 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
144
click to vote
ASPDAC
2007
ACM
15 years 8 months ago
2007
ACM
This paper presents a Boolean based symbolic model checking algorithm for the verification of analog/mixedsignal (AMS) circuits. The systems are modeled in VHDL-AMS, a hardware des...
131
click to vote
CN
2006
15 years 4 months ago
2006
Simulation has been the method of choice for analyzing large, complex, and highly volatile systems. One of these systems is the inter-domain routing infrastructure of the Internet...
147
click to vote
SAC
2011
ACM
14 years 7 months ago
2011
ACM
Spatial networks like transportation, power, and pipeline networks are a ubiquitous spatial concept in everyday life and play an important role for navigational and routing purpos...
137
click to vote
ICSM
2005
IEEE
15 years 10 months ago
2005
IEEE
Surprising as it may seem, many of the early adopters of the object-oriented paradigm already face a number of problems typically encountered in large-scale legacy systems. Softwa...