Sciweavers

12272 search results - page 313 / 2455
» Experimental program analysis
Sort
View
RTS
2006
129views more  RTS 2006»
15 years 6 months ago
Modeling out-of-order processors for WCET analysis
Estimating the Worst Case Execution Time (WCET) of a program on a given processor is important for the schedulability analysis of real-time systems. WCET analysis techniques typic...
Xianfeng Li, Abhik Roychoudhury, Tulika Mitra
SAS
2004
Springer
16 years 22 hour ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
SBACPAD
2003
IEEE
102views Hardware» more  SBACPAD 2003»
15 years 12 months ago
Performance Analysis of DECK Collective Communication Service
Collective communication is very useful for parallel applications, especially those in which matrix and vector data structures need to be manipulated by a group of processes. This...
Rafael Ennes Silva, Delcino Picinin, Marcos E. Bar...
CG
2008
Springer
15 years 8 months ago
An Analysis of UCT in Multi-player Games
The UCT algorithm has been exceedingly popular for Go, a two-player game, significantly increasing the playing strength of Go programs in a very short time. This paper provides an ...
Nathan R. Sturtevant
DAGSTUHL
2006
15 years 8 months ago
Static Analysis of a Model of the LDL Degradation Pathway
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. As for other ambient calculi static...
Henrik Pilegaard, Hanne Riis Nielson, Flemming Nie...