Sciweavers

5591 search results - page 459 / 1119
» Design patterns: between programming and software design
Sort
View
KBSE
2000
IEEE
15 years 11 months ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
SRDS
1999
IEEE
15 years 11 months ago
An Agent Platform for Reliable Asynchronous Distributed Programming
Production of reliable and flexible distributed applications is a growing area of interest and research. Various middleware technologies are often used as the communication infras...
Luc Bellissard, Noel De Palma, André Freyss...
OOPSLA
2009
Springer
16 years 1 months ago
A concurrent dynamic analysis framework for multicore hardware
Software has spent the bounty of Moore’s law by solving harder problems and exploiting abstractions, such as highlevel languages, virtual machine technology, binary rewritdynami...
Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, ...
ICSE
2008
IEEE-ACM
16 years 8 months ago
A teamwork-based approach to programming fundamentals with scheme, smalltalk & java
In October 2004 the University of Lugano in southern Switzerland established a new faculty of informatics. Its founding principles are innovation in teaching and faculty participa...
Michele Lanza, Amy L. Murphy, Romain Robbes, Mirce...
HIPEAC
2005
Springer
16 years 25 days ago
A Practical Method for Quickly Evaluating Program Optimizations
This article aims at making iterative optimization practical and usable by speeding up the evaluation of a large range of optimizations. Instead of using a full run to evaluate a s...
Grigori Fursin, Albert Cohen, Michael F. P. O'Boyl...