Sciweavers

517 search results - page 51 / 104
» Java as a systems programming language: three case studies
Sort
View
APLAS
2009
ACM
15 years 4 months ago
Proving Copyless Message Passing
Handling concurrency using a shared memory and locks is tedious and error-prone. One solution is to use message passing instead. We study here a particular, contract-based flavor ...
Jules Villard, Étienne Lozes, Cristiano Cal...
VL
2005
IEEE
119views Visual Languages» more  VL 2005»
15 years 3 months ago
How Well Do Professional Developers Test with Code Coverage Visualizations? An Empirical Study
Despite years of availability of testing tools, professional software developers still seem to need better support to determine the effectiveness of their tests. Without improveme...
Joseph Lawrance, Steven Clarke, Margaret M. Burnet...
DALT
2009
Springer
15 years 1 months ago
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
The specification and monitoring of conditional obligations and prohibitions with starting points and deadlines is a crucial aspect in the design of open interaction systems. In th...
Nicoletta Fornara, Marco Colombetti
IWMM
2009
Springer
127views Hardware» more  IWMM 2009»
15 years 4 months ago
Investigating the effects of using different nursery sizing policies on performance
In this paper, we investigate the effects of using three different nursery sizing policies on overall and garbage collection performances. As part of our investigation, we modify ...
Xiaohua Guan, Witawas Srisa-an, ChengHuan Jia
ISOOMS
1994
15 years 2 months ago
Quantitative and Qualitative Aspects of Object-Oriented Software Development
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
Gustav Pomberger, Wolfgang Pree