2042 search results - page 378 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
POPL
1990
ACM
14 years 24 days ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
Wireless communication enables a broad spectrum of applications, ranging from commodity to tactical systems. Neighbor discovery (ND), that is, determining which devices are within...
SIGMOD
2005
ACM
14 years 9 months ago
2005
ACM
Many analysis and monitoring applications require the repeated execution of expensive modeling functions over streams of rapidly changing data. These applications can often be exp...
QEST
2007
IEEE
14 years 3 months ago
2007
IEEE
Our productivity centered performance tuning framework for HPC applications comprises of three main components: (1) a versatile source code, performance metrics, and performance d...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
The most controversial part of genetic programming is its highly disruptive and potentially innovative subtree crossover operator. The clearest problem with the crossover operator...