828 search results - page 134 / 166 » A New Model of Program Dependences for Reverse Engineering |
171
click to vote
PLDI
2009
ACM
16 years 24 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
157
click to vote
COMPSAC
2006
IEEE
16 years 1 days ago
2006
IEEE
This paper presents behavior contracts as a new assertion mechanism and a tool that uses such contracts to support the testing of Object-Oriented (OO) systems. A behavior contract...
169
click to vote
VLSI
2010
Springer
15 years 20 days ago
2010
Springer
Future systems will have to support multiple and concurrent dynamic compute-intensive applications, while respecting real-time and energy consumption constraints. To overcome these...
206
click to vote
IWOMP
2007
Springer
16 years 4 days ago
2007
Springer
The Cell processor is a heterogeneous multi-core processor with one Power Processing Engine (PPE) core and eight Synergistic Processing Engine (SPE) cores. Each SPE has a directly...
201
click to vote
ADAEUROPE
2008
Springer
16 years 10 days ago
2008
Springer
: The concept of interface in Ada 2005 significantly facilitates its usage as the basis for a software components technology. This technology, taking benefit of the resources that ...