7452 search results - page 1270 / 1491 » A Semantics for Multiprocessor Systems |
177
click to vote
IWPC
2003
IEEE
15 years 12 months ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
181
Voted
KBSE
2003
IEEE
15 years 12 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...
163
click to vote
RIDE
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we present a scheme for identifying instances of events and extracting information about them. The scheme can handle all events with which an action can be associat...
167
click to vote
TLDI
2003
ACM
15 years 12 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
158
click to vote
CICLING
2003
Springer
15 years 11 months ago
2003
Springer
This paper deals with a complex system of processing raw Czech texts. Several modules were implemented which perform different levels of processing. These modules can easily be in...