10899 search results - page 650 / 2180 » The GP Programming System |
142
click to vote
IFIP
2005
Springer
16 years 23 days ago
2005
Springer
As Linux kernel-based operating systems gain market share there will be an inevitable increase in Linux systems that law enforcement agents must process at cybercrime scenes. The ...
194
click to vote
CD
2005
Springer
16 years 24 days ago
2005
Springer
In distributed and mobile environments, the connections among the hosts on which a software system is running are often unstable. As a result of connectivity losses, the overall a...
206
Voted
EMSOFT
2010
Springer
15 years 5 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
188
click to vote
SOSP
2001
ACM
16 years 4 months ago
2001
ACM
Users rarely consider running network file systems over slow or wide-area networks, as the performance would be unacceptable and the bandwidth consumption too high. Nonetheless, ...
189
click to vote
TLDI
2009
ACM
16 years 4 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...