IJCAI
2001
14 years 17 days ago
2001
A fundamental difficulty faced by groups of agents that work together is how to efficiently coordinate their efforts. This paper presents techniques that allow heterogeneous agent...
SC
1995
ACM
14 years 2 months ago
1995
ACM
This paper presents techniques for compiling loops with complex, indirect array accesses into loops whose array references have at most one level of indirection. The transformatio...
CONEXT
2007
ACM
14 years 3 months ago
2007
ACM
This paper presents techniques that improve the efficiency and manageability of an IP Fast Reroute (IPFRR) technology: NotVia. NotVia provides the IPFRR service for all destinatio...
SIGUCCS
2000
ACM
14 years 3 months ago
2000
ACM
This paper presents techniques and opportunities for creating targeted, lean, effective documentation and information to free your time and your readers’ time for other importan...
TAP
2010
Springer
14 years 4 months ago
2010
Springer
This paper presents techniques for applying a finite relational model finder to logical specifications that involve (co)inductive predicates, (co)algebraic datatypes, and (co)re...
CCS
2003
ACM
14 years 4 months ago
2003
ACM
Understanding the strategies of attacks is crucial for security applications such as computer and network forensics, intrusion response, and prevention of future attacks. This pap...
ICMCS
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents techniques in clustering the sametopic news stories according to event themes. We model the relationship of stories with textual and visual concepts under the ...
ICCD
2006
IEEE
14 years 8 months ago
2006
IEEE
Abstract— This paper presents techniques that enhance automatically generated hardware assertion checkers to facilitate debugging within the assertion-based verification paradig...