10622 search results - page 1749 / 2125 » Python Programming Language |
151
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract— This paper presents a framework for verifying compilation tools for parametrised hardware libraries with placement information. Such libraries are captured in Pebble, a...
173
click to vote
IPPS
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
173
click to vote
PODC
2003
ACM
16 years 3 hour ago
2003
ACM
The distinction between safety and liveness properties is due to Lamport who gave the following informal characterization. Safety properties assert that nothing bad ever happens w...
180
click to vote
PPOPP
2003
ACM
16 years 3 hour ago
2003
ACM
InterWeave is a distributed middleware system that supports the sharing of strongly typed, pointer-rich data structures across a wide variety of hardware architectures, operating ...
183
Voted
CC
2003
Springer
15 years 12 months ago
2003
Springer
We define the Value State Dependence Graph (VSDG). The VSDG is a form of the Value Dependence Graph (VDG) extended by the addition of state dependence edges to model sequentialise...