4081 search results - page 388 / 817 » The Impact of Constraint Programming |
183
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
The impact of types on the algebraic theory of the π-calculus is studied. The type system has capability types. They allow one to distinguish between the ability to read from a c...
167
click to vote
IH
2004
Springer
16 years 4 days ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
140
click to vote
DISCEX
2003
IEEE
16 years 2 days ago
2003
IEEE
The DARPA Cyber Panel program has funded research in defending mission-critical information systems from strategic coordinated attacks. This research spans many areas including no...
150
Voted
ISSS
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a high-level analytical model for estimating the energy and/or power dissipation in VLSI processor (systolic) array implementations of loop programs, particularly for i...
178
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. Clusters of PCs are an attractive platform for parallel applications because of their cost effectiveness. We have implemented an interoperable runtime system called Conve...