Sciweavers

680 search results - page 103 / 136
» High-Level Data Races
Sort
View
HICSS
2000
IEEE
115views Biometrics» more  HICSS 2000»
15 years 6 months ago
Utility Information Integration - Vision, Benefits, Strategies, and Status
: Successfully incorporating utility engineering functions into business decisions requires integrating the numeric-intensive world of the engineer with business systems that are d...
S. F. Mauser, J. Gillerman, D. Nordell
117
Voted
DSRT
2009
IEEE
15 years 6 months ago
An Approach for Parallel Interest Matching in Distributed Virtual Environments
—Interest management is essential for real-time large-scale distributed virtual environments (DVEs) which seeks to filter irrelevant messages on the network. Many existing inter...
Elvis S. Liu, Georgios K. Theodoropoulos
128
Voted
USENIX
2008
15 years 5 months ago
Context-Aware Prefetching at the Storage Server
In many of today's applications, access to storage constitutes the major cost of processing a user request. Data prefetching has been used to alleviate the storage access lat...
Gokul Soundararajan, Madalin Mihailescu, Cristiana...
108
Voted
LREC
2010
178views Education» more  LREC 2010»
15 years 4 months ago
Like Finding a Needle in a Haystack: Annotating the American National Corpus for Idiomatic Expressions
This paper presents the details of a pilot study in which we tagged portions of the American National Corpus (ANC) for idioms composed of verb-noun constructions, prepositional ph...
Laura Street, Nathan Michalov, Rachel Silverstein,...
118
Voted
FORTE
2008
15 years 4 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...