Sciweavers

114 search results - page 9 / 23
» Lost in just the translation
Sort
View
OOPSLA
2009
Springer
14 years 4 months ago
Typestate-oriented programming
Objects model the world, and state is fundamental to a faithful modeling. Engineers use state machines to understand and reason about state transitions, but programming languages ...
Jonathan Aldrich, Joshua Sunshine, Darpan Saini, Z...
IPPS
2008
IEEE
14 years 4 months ago
Intermediate checkpointing with conflicting access prediction in transactional memory systems
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...
M. M. Waliullah, Per Stenström
HICSS
2007
IEEE
115views Biometrics» more  HICSS 2007»
14 years 4 months ago
Information losses within the collaborative integration of different process models - BPML as an XML-based interchange format fo
During the last decades market competition created various constellations of collaborative integration between enterprises: integration of parts of the value chain or integration ...
Johannsen Florian, Susanne Leist, Gregor Zellner
PCI
2005
Springer
14 years 3 months ago
Tuning Blocked Array Layouts to Exploit Memory Hierarchy in SMT Architectures
Cache misses form a major bottleneck for memory-intensive applications, due to the significant latency of main memory accesses. Loop tiling, in conjunction with other program tran...
Evangelia Athanasaki, Kornilios Kourtis, Nikos Ana...
SIGOPSE
2004
ACM
14 years 3 months ago
Separating durability and availability in self-managed storage
Building reliable data storage from unreliable components presents many challenges and is of particular interest for peer-to-peer storage systems. Recent work has examined the tra...
Geoffrey Lefebvre, Michael J. Feeley