828 search results - page 134 / 166 » A New Model of Program Dependences for Reverse Engineering |
166
click to vote
PLDI
2009
ACM
16 years 12 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 ...
152
Voted
COMPSAC
2006
IEEE
15 years 11 months 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...
167
Voted
VLSI
2010
Springer
15 years 8 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...
200
click to vote
IWOMP
2007
Springer
15 years 11 months 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...
193
click to vote
ADAEUROPE
2008
Springer
15 years 12 months 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 ...