595 search results - page 17 / 119 » Representing and Executing Agent-Based Systems |
135
click to vote
LCPC
2009
Springer
15 years 6 months ago
2009
Springer
PC grids represent massive computation capacity at a low cost, but are challenging to employ for parallel computing because of variable and unpredictable performance and availabili...
111
Voted
IISWC
2006
IEEE
15 years 8 months ago
2006
IEEE
— Many performance analysis tools for Java focus on tracking executed bytecodes, but provide little support in determining the specific contribution of native code libraries. Th...
126
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
121
Voted
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
136
click to vote
ICFP
2010
ACM
15 years 2 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...