2308 search results - page 323 / 462 » Categorial Semantics For LFG |
165
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
This paper proposes a scheduling strategy and an automatic scheduling flow that enable the simultaneous execution of multiple hard-real-time dataflow jobs. Each job has its own ...
178
click to vote
FASE
2007
Springer
16 years 18 days ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
175
click to vote
GPCE
2007
Springer
16 years 17 days ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
157
click to vote
GPCE
2007
Springer
16 years 17 days ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
184
click to vote
IWMM
2007
Springer
16 years 17 days ago
2007
Springer
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...