4887 search results - page 296 / 978 » System Level Design Using C |
169
click to vote
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Polymorphic digital circuits contain ordinary and polymorphic gates. In the past, Cartesian Genetic Programming (CGP) has been applied to synthesize polymorphic circuits at the...
187
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
We describe a tool, called AX, that can be used in combination with the model checker SPIN to efficiently verify logical properties of distributed software systems implemented in A...
180
click to vote
SIGCOMM
2010
ACM
15 years 6 months ago
2010
ACM
The user experience for networked applications is becoming a key benchmark for customers and network providers. Perceived user experience is largely determined by the frequency, d...
172
click to vote
CASCON
1996
15 years 8 months ago
1996
Most research on objectoriented(OO) paradigms has been focused on analysis, design, and programming fundamentals. Testing the systems that are created with these paradigms has bee...
139
click to vote
IEEEARES
2008
IEEE
16 years 1 months ago
2008
IEEE
In 2002, DARPA put together a challenging proposition to the research community: demonstrate using an existing information system and available DARPA developed and other COTS tech...