1482 search results - page 209 / 297 » Tailor-Made Operating Systems for Embedded Parallel Applicat... |
TCS
2008
14 years 9 months ago
2008
Intersection types are well-known to type theorists mainly for two reasons. Firstly, they type all and only the strongly normalizable lambda terms. Secondly, the intersection type...
110
click to vote
DAC
2007
ACM
15 years 10 months ago
2007
ACM
Mapping packet processing applications onto embedded network processors (NP) is a challenging task due to the unique constraints of NP systems and the characteristics of network a...
INFOCOM
1999
IEEE
15 years 2 months ago
1999
IEEE
We describe the design, implementation and performance of a Web server accelerator which runs on an embedded operating system and improves Web server performance by caching data. ...
WADT
1997
Springer
15 years 2 months ago
1997
Springer
The dynamic behavior of rule-based systems (like term rewriting systems 24], process algebras 27], and so on) can be traditionally determined in two orthogonal ways. Either operati...
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
: Cell phones are an emerging but rapidly growing area of computer forensics. While cell phones are becoming more like desktop computers functionally, their organization and operat...