388 search results - page 40 / 78 » Quantifying Similarities Between Timed Systems |
ICPPW
2002
IEEE
15 years 4 months ago
2002
IEEE
generally meta-data, so that documents on any specific subject can be transparently retrieved. While quality control can in principle still rely on the traditional methods of peer-...
ICFP
2004
ACM
15 years 11 months ago
2004
ACM
Useful type inference must be faster than normalization. Otherwise, you could check safety conditions by running the program. We analyze the relationship between bounds on normali...
SAINT
2003
IEEE
15 years 5 months ago
2003
IEEE
The problem of identifying patterns from system call trails of UNIX processes to better model application behavior has been investigated intensively. Most existing approaches focu...
IUI
2010
ACM
15 years 6 months ago
2010
ACM
A typical knowledge worker is involved in multiple tasks and switches frequently between them every work day. These frequent switches become expensive because each task switch req...
INFOCOM
1997
IEEE
15 years 4 months ago
1997
IEEE
Current high-speed packet switching systems, ATM in particular, have large port bu ering requirements. The use of highly integrated ASIC technology for implementing high-degree an...