Sciweavers

2251 search results - page 89 / 451
» Specification and Implementation Problems for C
Sort
View
103
Voted
SERP
2004
15 years 4 months ago
Modeling Aspects of the Dynasty 3-D Game
This paper presents the motivation as well as the development for Dynasty, a 3-D game. Dynasty is a multiplayer 3D first person shooter game that is based in Ancient China. Player...
Frederick C. Harris Jr., Brent Devaney, John Kenyo...
114
Voted
ENTCS
2006
137views more  ENTCS 2006»
15 years 3 months ago
Compiling Esterel into Static Discrete-Event Code
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most co...
Stephen A. Edwards, Vimal Kapadia, Michael Halasz
ACSD
2004
IEEE
125views Hardware» more  ACSD 2004»
15 years 7 months ago
Comparison of Methods for Supervisory Control and Submodule Construction
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
Gregor von Bochmann, Bassel Daou
CSC
2009
15 years 4 months ago
An Empirical Analysis of Approximation Algorithms for Euclidean TSP
- The Traveling Salesman Problem (TSP) is perhaps the most famous optimization problem in the set NP-hard. Many problems that are natural applications in computer science and engin...
Bárbara Rodeker, M. Virginia Cifuentes, Lil...
116
Voted
SIGCSE
2008
ACM
295views Education» more  SIGCSE 2008»
15 years 3 months ago
A specimen MPI application: N-Queens in parallel
: The generalized problem of placing n queens on an n-by-n board provides an "embarrassingly parallel" problem for parallel solution. This paper expands on the discussion...
Timothy J. Rolfe