Sciweavers

16518 search results - page 2971 / 3304
» A New Approach to Splitting-Off
Sort
View
235
Voted
TLDI
2003
ACM
135views Formal Methods» more  TLDI 2003»
16 years 22 days ago
Typed compilation of recursive datatypes
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, K...
226
Voted
VRML
2003
ACM
16 years 22 days ago
Behavior3D: an XML-based framework for 3D graphics behavior
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
Raimund Dachselt, Enrico Rukzio
209
Voted
ISCA
2010
IEEE
205views Hardware» more  ISCA 2010»
16 years 17 days ago
The virtual write queue: coordinating DRAM and last-level cache policies
In computer architecture, caches have primarily been viewed as a means to hide memory latency from the CPU. Cache policies have focused on anticipating the CPU’s data needs, and...
Jeffrey Stuecheli, Dimitris Kaseridis, David Daly,...
192
Voted
KBSE
2002
IEEE
16 years 12 days ago
Process Support for Tools Interoperability
Commercial tools are heavily used, relatively cheap, well maintained, and provide powerful functionalities. However, composing these tools in order to build larger applications ra...
Anh-Tuyet Le
SIGMOD
2010
ACM
214views Database» more  SIGMOD 2010»
16 years 9 days ago
ParaTimer: a progress indicator for MapReduce DAGs
Time-oriented progress estimation for parallel queries is a challenging problem that has received only limited attention. In this paper, we present ParaTimer, a new type of timere...
Kristi Morton, Magdalena Balazinska, Dan Grossman
« Prev « First page 2971 / 3304 Last » Next »