1587 search results - page 143 / 318 » Software Engineering Programmes are not Computer Science Pro... |
116
click to vote
SIGMETRICS
1996
ACM
15 years 6 months ago
1996
ACM
A large and increasing gap exists between processor and memory speeds in scalable cache-coherent multiprocessors. To cope with this situation, programmers and compiler writers mus...
RTAS
2007
IEEE
15 years 8 months ago
2007
IEEE
The availability of programmable hardware devices with high density of logic elements and the possibility of implementing CPUs (called softcores) using a fraction of the FPGA area...
114
Voted
ACSAC
2007
IEEE
15 years 9 months ago
2007
IEEE
Security-typed languages (STLs) are powerful tools for provably implementing policy in applications. The programmer maps policy onto programs by annotating types with information ...
118
click to vote
ML
2006
ACM
15 years 8 months ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
120
click to vote
ICWS
2008
IEEE
15 years 4 months ago
2008
IEEE
Programmable Logic Controllers (PLC) are widely used in process automation due to their fast and guarantee response time. However their programming and interfacing capacities are ...