4438 search results - page 395 / 888 » The Case for Collaborative Programming |
170
click to vote
ARC
2009
Springer
16 years 1 months ago
2009
Springer
This paper argues the case for the use of analytical models in FPGA architecture layout exploration. We show that the problem when simplified, is amenable to formal optimization t...
162
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Directional biases are evident in many benchmarking problems for real-valued global optimisation, as well as many of the evolutionary and allied algorithms that have be...
166
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
189
click to vote
IFL
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
153
click to vote
NPC
2007
Springer
16 years 1 months ago
2007
Springer
Parallelism is one of the main sources for performance improvement in modern computing environment, but the efficient exploitation of the available parallelism depends on a number ...