1061 search results - page 142 / 213 » Dependently Sorted Logic |
104
click to vote
EUSFLAT
2009
14 years 11 months ago
2009
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
240
click to vote
AMCS
2011
14 years 9 months ago
2011
Agents are a useful abstraction frequently employed as a basic building block in modeling service, information and resource sharing in global environments. The connecting of reques...
136
click to vote
ISCA
2011
IEEE
14 years 5 months ago
2011
IEEE
Conventional high-performance processors utilize register renaming and complex broadcast-based scheduling logic to steer instructions into a small number of heavily-pipelined exec...
220
click to vote
CADE
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
102
click to vote
SIGSOFT
2003
ACM
16 years 2 months ago
2003
ACM
Foundational and scalable techniques for runtime safety analysis of multithreaded programs are explored in this paper. A technique based on vector clocks to extract the causal dep...