Sciweavers

6274 search results - page 894 / 1255
» Proofs, Programs, Processes
Sort
View
119
Voted
WWW
2010
ACM
15 years 10 months ago
Dynamic and graphical web page breakpoints
Breakpoints are perhaps the quintessential feature of a debugger: they allow a developer to stop time and study the program state. Breakpoints are typically specified by selectin...
John J. Barton, Jan Odvarko
HICSS
2010
IEEE
159views Biometrics» more  HICSS 2010»
15 years 10 months ago
Towards a Systematic Approach for Capturing Dynamic Transformation in Enterprise Models
The transparency created by enterprise models is a valuable support for organizational engineering and especially enterprise transformation. However, current approaches are hardly...
Stephan Aier, Bettina Gleichauf
163
Voted
ISPASS
2010
IEEE
15 years 10 months ago
Demystifying GPU microarchitecture through microbenchmarking
—Graphics processors (GPU) offer the promise of more than an order of magnitude speedup over conventional processors for certain non-graphics computations. Because the ften prese...
Henry Wong, Misel-Myrto Papadopoulou, Maryam Sadoo...
FOSSACS
2010
Springer
15 years 10 months ago
Parameterised Multiparty Session Types
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
Nobuko Yoshida, Pierre-Malo Deniélou, Andi ...
EVOW
2009
Springer
15 years 10 months ago
Grid Coevolution for Adaptive Simulations: Application to the Building of Opening Books in the Game of Go
This paper presents a successful application of parallel (grid) coevolution applied to the building of an opening book (OB) in 9x9 Go. Known sayings around the game of Go are refou...
Pierre Audouard, Guillaume Chaslot, Jean-Baptiste ...