10899 search results - page 667 / 2180 » The GP Programming System |
227
Voted
ESORICS
2002
Springer
16 years 6 months ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...
179
Voted
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. The logic FO(ID) uses ideas from the field of logic programming to extend first order logic with non-monotone inductive definitions. The goal of this paper is to exten...
197
Voted
ICTAI
2008
IEEE
16 years 1 months ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
185
Voted
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
Transactional memory systems promise to reduce the burden of exposing thread-level parallelism in programs by relieving programmers from analyzing complex inter-thread dependences...
203
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Code compression has been applied to embedded systems to minimize the silicon area utilized for program memories, and lower the power consumption. More recently, it has become a n...