2702 search results - page 319 / 541 » Practically Applicable Formal Methods |
206
click to vote
CODASPY
2011
14 years 10 months ago
2011
—Progress in mobile wireless technology has resulted in the increased use of mobile devices to store and manage users’ personal schedules. Users also access popular contextbase...
164
click to vote
CIKM
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we study approximate landmark-based methods for point-to-point distance estimation in very large networks. These methods involve selecting a subset of nodes as landm...
189
click to vote
IPPS
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper we revisit the tile-shape selection problem, that has been extensively discussed in bibliography. An efficient approach is proposed for the selection of a suitable t...
162
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a study of performance optimization of dense matrix multiplication on IBM Cyclops-64(C64) chip architecture. Although much has been published on how t...
181
click to vote
ASE
2008
15 years 6 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...