238 search results - page 30 / 48 » The RoadRunner dynamic analysis framework for concurrent pro... |
104
click to vote
SIGDOC
1997
ACM
15 years 4 months ago
1997
ACM
CogentHelp is a prototype tool for authoring dynamically generated on-line help for applications with graphical user interfaces (GUIs) built using the tract Windowing Toolkit (AWT...
108
Voted
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
113
click to vote
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
1 Multi-paradigm, multi-threaded and multi-core computing devices available today provide several orders of magnitude performance improvement over mainstream microprocessors. These...
131
Voted
CORR
2011
Springer
14 years 7 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
128
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...