178 search results - page 13 / 36 » An Application of Program Derivation Techniques to 18th-Cent... |
VECPAR
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. This paper presents PerWiz, a performance prediction tool for improving the performance of message passing programs. PerWiz focuses on locating where a significant impro...
JPDC
2008
13 years 8 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
EMSOFT
2004
Springer
14 years 2 months ago
2004
Springer
Dataflow synchronous languages have attracted considerable interest in domains such as real-time control and hardware design. The potential benefits are promising: Discrete-time...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Signals comprised of a stream of short pulses appear in many applications including bio-imaging, radar, and ultrawideband communication. Recently, a new framework, referred to as f...
PLDI
2010
ACM
14 years 6 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...