1237 search results - page 93 / 248 » Strictness and Totality Analysis |
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...
137
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In a placed circuit, there are a lot of movable cells that can be flipped to further reduce the total wirelength, without affecting the original placement solution. We aim at solv...
158
Voted
ISCA
2007
IEEE
16 years 17 days ago
2007
IEEE
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
145
click to vote
RAID
2005
Springer
15 years 11 months ago
2005
Springer
To detect and defend against Internet worms, researchers have long hoped to have a safe convenient environment to unleash and run real-world worms for close observation of their in...
164
click to vote
TLCA
2005
Springer
15 years 11 months ago
2005
Springer
In a series of articles, we developed a method to translate general recursive functions written in a functional programming style into constructive type theory. Three problems rema...