Sciweavers

2752 search results - page 277 / 551
» Rounding to an Integral Program
Sort
View
DIGRA
2005
Springer
16 years 5 days ago
B.Sc. Computer Game Development ... Why not?
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...
Libero Ficocelli, David Gregg
TGC
2005
Springer
16 years 4 days ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
KBSE
2003
IEEE
15 years 12 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...
ISSRE
2002
IEEE
15 years 11 months ago
An Empirical Study of Tracing Techniques from a Failure Analysis Perspective
Tracing is a dynamic analysis technique to continuously capture events of interest on a running program. The occurrence of a statement, the invocation of a function, and the trigg...
Satya Kanduri, Sebastian G. Elbaum
JAVA
2001
Springer
15 years 11 months ago
Core semantics of multithreaded Java
Java has integrated multithreading to a far greater extent than most programming languages. It is also one of the only languages that specifies and requires safety guarantees for...
Jeremy Manson, William Pugh