6201 search results - page 1131 / 1241 » Implementation of Axiomatic Language |
146
click to vote
CIKM
2007
Springer
15 years 11 months ago
2007
Springer
Problems resulting from the management of shared, distributed knowledge has led to ontologies being employed as a solution, in order to effectively integrate information across a...
145
click to vote
TGC
2007
Springer
15 years 11 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
162
click to vote
VLSID
2006
IEEE
15 years 11 months ago
2006
IEEE
This tutorial focuses on advanced techniques to cope with the complexity of designing modern digital chips which are complete systems often containing multiple processors, complex...
156
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
Worms, viruses, and other malware can be ticking bombs counting down to a specific time, when they might, for example, delete files or download new instructions from a public we...
165
click to vote
ASPLOS
2006
ACM
15 years 11 months ago
2006
ACM
While hardware instruction caches are present in virtually all general-purpose and high-performance microprocessors today, many embedded processors use SRAM or scratchpad memories...