5235 search results - page 358 / 1047 » Analysis of Multithreaded Programs |
177
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
Design is a complex process often described as a collaboration between a designer and herself. In architectural design, a designer must consider the selection of a subset of actio...
216
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
205
click to vote
VMV
2003
15 years 8 months ago
2003
Precise digital 3D models of indoor environments are needed in several applications, e.g., facility management, architecture, rescue and inspection robotics. This paper presents a...
162
click to vote
FDL
2008
IEEE
15 years 7 months ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
202
click to vote
AIR
2006
15 years 6 months ago
2006
Evolutionary computation techniques are increasingly being applied to problems within Information Retrieval (IR). Genetic programming (GP) has previously been used with some succe...