5235 search results - page 96 / 1047 » Analysis of Multithreaded Programs |
134
click to vote
FDL
2006
IEEE
15 years 5 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
138
click to vote
JOT
2008
15 years 1 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
171
click to vote
KI
2011
Springer
14 years 8 months ago
2011
Springer
Abstract We present the General Game Playing system Centurio. Centurio is a Java-based player featuring different strategies based on Monte Carlo Tree Search extended by technique...
216
click to vote
POPL
2009
ACM
16 years 2 months ago
2009
ACM
Asynchronous or "event-driven" programming is a popular technique to efficiently and flexibly manage concurrent interactions. In these programs, the programmer can post ...
121
click to vote
ICLP
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. In this paper we show how we can use size and groundness analyses lifted to regular and (polymorphic) Hindley/Milner typed programs to determine more accurate termination...