8446 search results - page 1134 / 1690 » A Process Compensation Language |
166
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
166
Voted
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we defend the idea of integrating the actual cognitive features of novice users in the creation process of the applications to significantly increase the quality of...
183
click to vote
LICS
2006
IEEE
16 years 1 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
195
click to vote
ERLANG
2006
ACM
16 years 1 months ago
2006
ACM
A concurrent cache design is presented which allows cached data to be spread across a cluster of computers. The implementation s persistent storage from cache storage and abstract...
148
click to vote
SIGIR
2006
ACM
16 years 1 months ago
2006
ACM
This paper focuses on a method for the stylistic segmentation of text documents. Our technique involves mapping the change in a feature throughout a text. We use the linguistic fe...