3719 search results - page 224 / 744 » RACER System Description |
182
click to vote
EDOC
2003
IEEE
15 years 12 months ago
2003
IEEE
The MOF Query, View and Transformation RFP, issued by OMG will result in a key enabling technology for modeldriven development of large distributed systems. We have designed a tra...
145
click to vote
HASE
2002
IEEE
15 years 11 months ago
2002
IEEE
Web services might be the most popular and powerful software development technology in today’s software world. Yet it brings software developers and tester a lot of challenges a...
186
click to vote
FPL
2009
Springer
15 years 11 months ago
2009
Springer
Reconfigurable systems are widely used nowadays to increase performance of computationally intensive applications. There exist a lot of synthesis tools that automatically generate...
177
click to vote
SIGSOFT
1994
ACM
15 years 10 months ago
1994
ACM
As the design of software architectures emerges as a discipline within software engineering, it will become increasingly important to support architectural description and analysi...
186
click to vote
ASPDAC
2007
ACM
15 years 10 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...