570 search results - page 86 / 114 » From Program Verification to Program Synthesis |
117
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
117
Voted
JWSR
2007
15 years 2 months ago
2007
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
124
click to vote
POPL
2010
ACM
15 years 11 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
109
Voted
DAC
2003
ACM
16 years 3 months ago
2003
ACM
Partitioning an application among software running on a microprocessor and hardware co-processors in on-chip configurable logic has been shown to improve performance and energy co...
105
Voted
ICPPW
2006
IEEE
15 years 8 months ago
2006
IEEE
In retargeting loop-based code for multimedia instruction set extensions, a critical issue is that vector data types of mixed precision within a loop body complicate the paralleli...