2702 search results - page 398 / 541 » Practically Applicable Formal Methods |
103
Voted
VIIP
2001
15 years 3 months ago
2001
Graphics cards exercise increasingly more computing power and are highly optimized for high data transfer volumes. In contrast typical workstations perform badly when data exceeds...
76
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Research on formulae production in spreadsheets has established the practice as high risk yet unrecognised as such by industry. There are numerous software applications that are d...
113
click to vote
SOCO
2008
Springer
15 years 2 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
134
Voted
JMM
2007
15 years 2 months ago
2007
Spontaneous interaction in wireless ad-hoc networks is often desirable not only between users or devices in direct contact, but also with devices that are accessible only via a wi...
117
Voted
CODES
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper proposes a new efficient buffer management technique called shift buffering for automatic code synthesis from synchronous dataflow graphs (SDF). Two previous buffer man...