2132 search results - page 179 / 427 » Automated software winnowing |
132
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the feasibility of re-expressing concurrent algorithms with explicit locks in terms of lock free code written using Haskell's implementation of s...
131
click to vote
TPHOL
2000
IEEE
15 years 7 months ago
2000
IEEE
The IA-64 architecture defers floating point and integer division to software. To ensure correctness and maximum efficiency, Intel provides a number of recommended algorithms which...
139
Voted
FLAIRS
2006
15 years 5 months ago
2006
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
134
Voted
DEXAW
2005
IEEE
15 years 9 months ago
2005
IEEE
Recent dynamics in the business world and the tough environment of globalization put enormous pressure on enterprises to be innovative. As a consequence, management concepts and I...
145
Voted
TASLP
2011
14 years 10 months ago
2011
—With the increase in cheap commercially available sensors, recording meetings is becoming an increasingly practical option. With this trend comes the need to summarize the recor...