Sciweavers

4870 search results - page 52 / 974
» Construction of Wavelets and Applications
Sort
View
67
Voted
PLDI
2006
ACM
15 years 6 months ago
Eventrons: a safe programming construct for high-frequency hard real-time applications
Daniel Spoonhower, Joshua S. Auerbach, David F. Ba...
115
Voted
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 6 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
58
Voted
COMPGEOM
2010
ACM
15 years 5 months ago
New constructions of SSPDs and their applications
Mohammad Ali Abam, Sariel Har-Peled