9006 search results - page 1356 / 1802 » Modeling Software |
161
click to vote
IPPS
2007
IEEE
16 years 22 days ago
2007
IEEE
OpenMP has emerged as an important model and language extension for shared-memory parallel programming. On shared-memory platforms, OpenMP offers an intuitive, incremental approac...
199
click to vote
ISPASS
2007
IEEE
16 years 22 days ago
2007
IEEE
Virtualization is an essential technology in modern datacenters. Despite advantages such as security isolation, fault isolation, and environment isolation, current virtualization ...
132
Voted
SCAM
2007
IEEE
16 years 21 days ago
2007
IEEE
Program dependence graphs are a well-established device to represent possible information flow in a program. Path conditions in dependence graphs have been proposed to express mo...
160
Voted
SP
2007
IEEE
16 years 21 days ago
2007
IEEE
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
159
click to vote
TASE
2007
IEEE
16 years 21 days ago
2007
IEEE
The design of an embedded control system starts with an investigation of properties and behaviors of the process evolving within its environment, and an analysis of the requiremen...