6800 search results - page 688 / 1360 » Testing with Functions as Specifications |
200
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
Iterated Register Coalescing (IRC) is a widely used heuristic for performing register allocation via graph coloring. Many implementations in existing compilers follow (more or less...
144
click to vote
TEI
2010
ACM
16 years 2 months ago
2010
ACM
This paper considers a new approach that allows for the creation of typographic works through gestural interaction. It describes a prototype application called TextDraw, which is ...
171
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Despite its popularity, commercial instant messaging has changed little in the past 15 years. Conversations are linear, immutable, and susceptible to errors in turn-taking and ref...
198
click to vote
ARC
2009
Springer
16 years 2 months ago
2009
Springer
Spiking Neural Networks (SNNs) model the biological functions of the human brain enabling neuro/computer scientists to investigate how arrays of neurons can be used to solve comput...
181
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper uses under-approximation of unreachable states of a design to derive incomplete specification of combinational logic. The resulting incompletely-specified functions are...