323 search results - page 41 / 65 » The Case for High Level Programming Models for Reconfigurabl... |
RTA
2005
Springer
14 years 1 months ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
CCGRID
2001
IEEE
13 years 11 months ago
2001
IEEE
High performance computing on parallel architectures currently uses different approaches depending on the hardory model of the architecture, the abstraction level of the programmi...
JSW
2008
13 years 7 months ago
2008
Intermediate COCOMO Model computes effort as a function of program size and a set of cost drivers. Effort adjustment factor (EAF) is calculated using 15 cost drivers. EAF is an imp...
ICMCS
1999
IEEE
13 years 12 months ago
1999
IEEE
We present a system at the junction between Computer Vision and Computer Graphics, to produce a 3-D model of an object as observed in a single image, with a minimum of high-level ...
CODES
2009
IEEE
14 years 2 months ago
2009
IEEE
Multiprocessor System-on-Chips (MPSoCs) are nowadays widely used, but the problem of their software development persists to be one of the biggest challenges for developers. Virtua...