Sciweavers

1477 search results - page 243 / 296
» Complexity of (iterated) dominance
Sort
View
EUROPAR
2009
Springer
14 years 1 months ago
Capturing and Visualizing Event Flow Graphs of MPI Applications
A high-level understanding of how an application executes and which performance characteristics it exhibits is essential in many areas of high performance computing, such as applic...
Karl Fürlinger, David Skinner
ICSE
2001
IEEE-ACM
14 years 1 months ago
Fast Formal Analysis of Requirements via "Topoi Diagrams"
Early testing of requirements can decrease the cost of removing errors in software projects. However, unless done carefully, that testing process can significantly add to the cos...
Tim Menzies, John D. Powell, Michael E. Houle
PAPM
2001
Springer
107views Mathematics» more  PAPM 2001»
14 years 1 months ago
MoDeST - A Modelling and Description Language for Stochastic Timed Systems
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter ...
ATS
2000
IEEE
134views Hardware» more  ATS 2000»
14 years 1 months ago
Fsimac: a fault simulator for asynchronous sequential circuits
At very high frequencies, the major potential of asynchronous circuits is absence of clock skew and, through that, better exploitation of relative timing relations. This paper pre...
Susmita Sur-Kolay, Marly Roncken, Ken S. Stevens, ...
ICRA
2000
IEEE
84views Robotics» more  ICRA 2000»
14 years 1 months ago
Enhancing Randomized Motion Planners: Exploring with Haptic Hints
In this paper, we investigate methods for enabling a human operator and an automatic motion planner to cooperatively solve a motion planning query. Our work is motivated by our ex...
O. Burçhan Bayazit, Guang Song, Nancy M. Am...