1733 search results - page 242 / 347 » The challenges of software engineering education |
165
click to vote
ISPASS
2008
IEEE
16 years 20 days ago
2008
IEEE
The floating point portion of the SPEC CPU suite and the HPC Challenge suite are widely recognized and utilized as benchmarks that represent scientific application behavior. In th...
152
click to vote
TASE
2008
IEEE
16 years 19 days ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
157
click to vote
CGO
2007
IEEE
16 years 18 days ago
2007
IEEE
The increasing complexity of hardware features for recent processors makes high performance code generation very challenging. In particular, several optimization targets have to b...
165
click to vote
COMPSAC
2007
IEEE
16 years 18 days ago
2007
IEEE
Building open distributed systems is an even more challenging task than building distributed systems, as their components are loosely synchronised, can move, become disconnected, ...
168
click to vote
COMPSAC
2007
IEEE
16 years 18 days ago
2007
IEEE
An Enterprise Service Bus (ESB) is a standards-based integration platform that combines messaging, web services, data transformation, and intelligent routing in a highly distribut...