1141 search results - page 165 / 229 » Compiler-Directed Performance Model Construction for Paralle... |
111
Voted
IEE
2010
14 years 11 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
124
Voted
IPPS
2008
IEEE
15 years 7 months ago
2008
IEEE
Our digital universe is growing, creating exploding amounts of data which need to be searched, protected and filtered. String searching is at the core of the tools we use to curb...
96
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
2004
Springer
Simulation studies are frequently used to evaluate new peer-to-peer searching techniques as well as existing techniques on new applications. Unless these studies are accurate in th...
127
click to vote
ANCS
2009
ACM
14 years 10 months ago
2009
ACM
In this paper, we propose an extensible Open-Architecture Services platform (OASis) for high-performance network processing. OASis embraces recent advances of open technologies, i...
127
Voted
ANSS
1991
IEEE
15 years 4 months ago
1991
IEEE
The notions of the critical path of events and critical time of an event are key concepts in analyzing the performance of a parallel discrete event simulation. The highest critica...