Sciweavers

2678 search results - page 300 / 536
» Operational Semantics of Transactions
Sort
View
DATE
2003
IEEE
128views Hardware» more  DATE 2003»
15 years 10 months ago
Flexible and Formal Modeling of Microprocessors with Application to Retargetable Simulation
Given the growth in application-specific processors, there is a strong need for a retargetable modeling framework that is capable of accurately capturing complex processor behavi...
Wei Qin, Sharad Malik
141
Voted
LREC
2010
208views Education» more  LREC 2010»
15 years 6 months ago
A Case Study on Interoperability for Language Resources and Applications
This paper reports our experience when integrating differ resources and services into a grid environment. The use case we address implies the deployment of several NLP application...
Marta Villegas, Núria Bel, Santiago Bel, V&...
137
Voted
ENTCS
2010
133views more  ENTCS 2010»
15 years 5 months ago
Towards Measurable Types for Dynamical Process Modeling Languages
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
Eric Mjolsness
SCP
2010
172views more  SCP 2010»
15 years 3 months ago
Alternating-time stream logic for multi-agent systems
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
Sascha Klüppelholz, Christel Baier
137
Voted
WEBDB
2000
Springer
128views Database» more  WEBDB 2000»
15 years 8 months ago
Architecting a Network Query Engine for Producing Partial Results
The growth of the Internet has made it possible to query data in all corners of the globe. This trend is being abetted by the emergence of standards for data representation, such ...
Jayavel Shanmugasundaram, Kristin Tufte, David J. ...