2451 search results - page 322 / 491 » The Octagon Abstract Domain |
197
click to vote
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
Complex and distributed systems are more and more common. Hardware is going from strength to strength and is embedded in high performance peer-to-peer networks mostly. The task of...
179
Voted
GW
2003
Springer
16 years 9 days ago
2003
Springer
The paper presents a research on the multimodal communication of teachers in the classroom. The “musical score”, a procedure for the analysis of multimodal communication, is us...
210
Voted
BIRTHDAY
2010
Springer
15 years 12 months ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
208
click to vote
EUROPAR
2009
Springer
15 years 11 months ago
2009
Springer
Data access in HPC infrastructures is realized via user-level networking and OS-bypass techniques through which nodes can communicate with high bandwidth and low-latency. Virtualiz...
280
Voted
FMSP
2000
ACM
15 years 11 months ago
2000
ACM
XML (eXtensible Markup Language) is a linear syntax for trees, which has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the appli...