Sciweavers

2752 search results - page 381 / 551
» Rounding to an Integral Program
Sort
View
ACMSE
2005
ACM
16 years 2 days ago
Exploring communication overheads and locking policies in a peer-to-peer synchronous collaborative editing system
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
Jon A. Preston, Sushil K. Prasad
HASKELL
2005
ACM
16 years 2 days ago
Visual haskell: a full-featured haskell development environment
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
Krasimir Angelov, Simon Marlow
SAC
2005
ACM
16 years 1 days ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
SIGCSE
2005
ACM
133views Education» more  SIGCSE 2005»
16 years 1 days ago
Designing, implementing, and analyzing a placement test for introductory CS courses
An introductory CS1 course presents problems for educators and students due to students’ diverse background in programming knowledge and exposure. Students who enroll in CS1 als...
Leen-Kiat Soh, Ashok Samal, Suzette Person, Gwen N...
CC
2005
Springer
123views System Software» more  CC 2005»
16 years 1 days ago
XML Goes Native: Run-Time Representations for Xtatic
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pi...