469 search results - page 36 / 94 » Extended abstract: a race-free hardware modeling language |
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
In this paper we study the interconnection between relationships and roles. We start from the patterns used to introduce relationships in object oriented languages. We show how th...
ECIR
2007
Springer
15 years 1 months ago
2007
Springer
This paper introduces the concept of a Parameterised Search System (PSS), which allows flexibility in user queries, and, more importantly, allows system engineers to easily defin...
IJCNLP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents our recent work on period disambiguation, the kernel problem in sentence boundary identification, with the maximum entropy (Maxent) model. A number o...
CP
2007
Springer
15 years 6 months ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
We investigate the decidability of observational equivalence and approximation in “Syntactic Control of Interference” (SCI). By asg denotations of terms in an inequationally fu...