481 search results - page 76 / 97 » Executing Higher Order Logic |
121
click to vote
SIGADA
2001
Springer
15 years 5 months ago
2001
Springer
Automatic software testing is gradually becoming accepted practice in the software industry. The shrinking development cycle and higher expectation of software quality are forcing...
118
Voted
TCAD
2008
15 years 17 days ago
2008
Abstract--For modern embedded systems in the realm of highthroughput multimedia, imaging, and signal processing, the complexity of embedded applications has reached a point where t...
114
click to vote
RTSS
2002
IEEE
15 years 5 months ago
2002
IEEE
Closed-loop control systems are dynamic systems subject to perturbations. One of the main concerns of the control is to design controllers to correct or limit the deviation that t...
96
Voted
DAC
2009
ACM
16 years 1 months ago
2009
ACM
Traditionally, synchronous languages, such as Esterel, have been compiled into hardware, where timing analysis is relatively easy. When compiled into software ? e.g., into sequent...
95
Voted
WCRE
2008
IEEE
15 years 7 months ago
2008
IEEE
A business application automates a collection of business processes. A business process describes how a set of logically related tasks are executed, ordered and managed by followi...