68 search results - page 3 / 14 » Distributed Negative Cycle Detection Algorithms |
ICCAD
1999
IEEE
13 years 10 months ago
1999
IEEE
We consider the problem of finding an optimal clock schedule, i.e. optimal arrival times for clock signals at latches of a VLSI chip. We describe a general model which includes al...
FMCO
2005
Springer
13 years 11 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
ICML
2009
IEEE
14 years 6 months ago
2009
IEEE
This paper describes an unsupervised learning technique for modeling human locomotion styles, such as distinct related activities (e.g. running and striding) or variations of the ...
ICARIS
2007
Springer
13 years 12 months ago
2007
Springer
Today’s signature-based intrusion detection systems are reactive in nature and storage-limited. Their operation depends upon catching an instance of an intrusion or virus and en...
CIKM
2011
Springer
12 years 5 months ago
2011
Springer
We consider the problem of link prediction in signed networks. Such networks arise on the web in a variety of ways when users can implicitly or explicitly tag their relationship w...