3792 search results - page 473 / 759 » Techniques for Trusted Software Engineering |
160
click to vote
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
160
click to vote
WCRE
2008
IEEE
16 years 1 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...
170
click to vote
CGO
2007
IEEE
16 years 1 months ago
2007
IEEE
General-purpose operating systems, such as Linux, are increasingly being used in embedded systems. Computational resources are usually limited, and embedded processors often have ...
163
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
For simulation, a tradeoff exists between speed and accuracy. The more instructions simulated from the workload, the more accurate the results — but at a higher cost. To reduce ...
208
click to vote
ISPASS
2007
IEEE
16 years 1 months ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...