4126 search results - page 633 / 826 » Relationships with other Formalisms |
155
click to vote
ICFEM
2005
Springer
16 years 3 hour ago
2005
Springer
Abstract. In formal testing, the assumption of input enabling is typically made. This assumption requires all inputs to be enabled anytime. In addition, the useful concept of quies...
187
click to vote
IJCNLP
2005
Springer
15 years 12 months ago
2005
Springer
This paper proposes a variation of synchronous grammar based on the formalism of context-free grammar by generalizing the first component of productions that models the source text...
188
click to vote
JIT
2005
Springer
15 years 12 months ago
2005
Springer
: Access to Grid services is currently limited to devices having significant computing, network resources etc. such as desktop computers. On the other hand, most of mobile devices ...
139
click to vote
SAMOS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
162
click to vote
SSD
2005
Springer
15 years 12 months ago
2005
Springer
A moving cluster is defined by a set of objects that move close to each other for a long time interval. Real-life examples are a group of migrating animals, a convoy of cars movin...