Sciweavers

2943 search results - page 135 / 589
» Software Implementation of Synchronous Programs
Sort
View
POPL
2010
ACM
16 years 3 days ago
A simple, verified validator for software pipelining
Software pipelining is a loop optimization that overlaps the execution of several iterations of a loop to expose more instruction-level parallelism. It can result in first-class p...
Jean-Baptiste Tristan, Xavier Leroy
142
Voted
JOT
2010
99views more  JOT 2010»
15 years 1 months ago
A Framework for Adding Design by ContractTM to the .NET Object-Oriented Programming Languages
Design contracts can be used in software development to ensure the preservation of assertions for program correctness. This can increase reliability in software design. Design by ...
Jennifer Pandolfo, Cui Zhang
111
Voted
DAIS
2006
15 years 4 months ago
A Versatile Kernel for Distributed AOP
Abstract. Aspect-Oriented Programming (AOP) promotes better separation of concerns in software systems by introducing aspects for the modular implementation of crosscutting concern...
Éric Tanter, Rodolfo Toledo
161
Voted
MODELS
2010
Springer
15 years 1 months ago
Embedded Software Development with Projectional Language Workbenches
This paper describes a novel approach to embedded software development. Instead of using a combination of C code and modeling tools, we propose an approach where modeling and progr...
Markus Voelter
100
Voted
CASES
2001
ACM
15 years 6 months ago
A system-on-a-chip lock cache with task preemption support
Intertask/interprocess synchronization overheads may be significant in a multiprocessor-shared memory System-on-a-Chip implementation. These overheads are observed in terms of loc...
Bilge Saglam Akgul, Jaehwan Lee, Vincent John Moon...