4719 search results - page 448 / 944 » Newtonian program analysis |
187
Voted
APPT
2005
Springer
16 years 10 days ago
2005
Springer
Identifying the patterns of large data sets is a key requirement in data mining. A powerful technique for this purpose is the principal component analysis (PCA). PCA-based clusteri...
199
Voted
EDCC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...
164
click to vote
HIPEAC
2005
Springer
16 years 9 days ago
2005
Springer
ions Sebastian Pop 1 , Albert Cohen 2 , and Georges-Andr´e Silber 1 1 CRI, Mines Paris, Fontainebleau, France 2 ALCHEMY group, INRIA Futurs, Orsay, France Abstract. This paper pre...
142
Voted
IFIP
2005
Springer
16 years 9 days ago
2005
Springer
Mobile phones have become a very important tool for personal communication. It is therefore of great importance that forensic investigators have possibilities to extract evidence ...
161
click to vote
ISSTA
2004
ACM
16 years 6 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...