Sciweavers

510 search results - page 88 / 102
» Complexity measures and decision tree complexity: a survey
Sort
View
SC
2003
ACM
14 years 1 months ago
Hierarchical Dynamics, Interarrival Times, and Performance
We report on a model of the distribution of job submission interarrival times in supercomputers. Interarrival times are modeled as a consequence of a complicated set of decisions ...
Stephen D. Kleban, Scott H. Clearwater
SIGCOMM
2003
ACM
14 years 1 months ago
Forwarding in a content-based network
This paper presents an algorithm for content-based forwarding, an essential function in content-based networking. Unlike in traditional address-based unicast or multicast networks...
Antonio Carzaniga, Alexander L. Wolf
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
14 years 27 days ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
CSMR
1999
IEEE
14 years 23 days ago
Employing Use-cases and Domain Knowledge for Comprehending Resource Usage
Philips Electronics is a world wide electronics company that develops many products containing embedded software. These products range from shavers with only few hundred bytes of ...
René L. Krikhaar, Maarten Pennings, J. Zonn...
EDOC
2007
IEEE
14 years 11 days ago
Automated Model-Based Configuration of Enterprise Java Applications
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
Jules White, Douglas C. Schmidt, Krzysztof Czarnec...