Sciweavers

2409 search results - page 395 / 482
» On Extended Regular Expressions
Sort
View
EMSOFT
2004
Springer
15 years 9 months ago
A typed assembly language for real-time programs
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
Thomas A. Henzinger, Christoph M. Kirsch
GI
2004
Springer
15 years 9 months ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann
RE
2004
Springer
15 years 9 months ago
From Aspectual Requirements to Proof Obligations for Aspect-Oriented Systems
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
Shmuel Katz, Awais Rashid
RT
2004
Springer
15 years 9 months ago
Practical Rendering of Multiple Scattering Effects in Participating Media
Volumetric light transport effects are significant for many materials like skin, smoke, clouds, snow or water. In particular, one must consider the multiple scattering of light w...
Simon Premoze, Michael Ashikhmin, Ravi Ramamoorthi...
SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
15 years 9 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz