Sciweavers

16844 search results - page 148 / 3369
» How to Design Programs
Sort
View
SIGCSE
2010
ACM
219views Education» more  SIGCSE 2010»
15 years 11 months ago
The design of an online environment to support pedagogical code reviews
Inspired by the formal code inspection process commonly used in the software industry, we have been exploring the use of pedagogical code reviews (PCRs), in which a team of three ...
Christopher D. Hundhausen, Anukrati Agrawal, Kyle ...
MICRO
2010
IEEE
153views Hardware» more  MICRO 2010»
15 years 4 months ago
AVF Stressmark: Towards an Automated Methodology for Bounding the Worst-Case Vulnerability to Soft Errors
Soft error reliability is increasingly becoming a first-order design concern for microprocessors, as a result of higher transistor counts, shrinking device geometries and lowering ...
Arun A. Nair, Lizy Kurian John, Lieven Eeckhout
ICSOC
2005
Springer
15 years 12 months ago
A Lightweight Formal Framework for Service-Oriented Applications Design
Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweigh...
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio...
CSUR
2000
78views more  CSUR 2000»
15 years 6 months ago
Developing flexible and high-performance Web servers with frameworks and patterns
The goal of this paper is to illustrate how frameworks and patterns address complexities that arise in the design and implementation of high-performance distributed software syste...
Douglas C. Schmidt, James C. Hu
ICN
2005
Springer
15 years 12 months ago
Paradis-Net
Abstract. This paper describes Paradis-Net, a typed event-driven messagepassing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to...
Guido Malpohl, Florin Isaila