2127 search results - page 316 / 426 » Software Automation |
WCRE
1997
IEEE
15 years 6 months ago
1997
IEEE
There are many commercial tools that address various aspects of the Year 2000 problem. None of these tools, however, addresses the closely-related leap-year problem. In this paper...
144
click to vote
ESEC
1997
Springer
15 years 6 months ago
1997
Springer
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
116
click to vote
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Reasoning on programs and automated deduction often require the manipulation of in nite sets of objects. Many formalisms have been proposed to handle such sets. Here we d...
119
click to vote
SIGSOFT
1994
ACM
15 years 6 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
127
click to vote
CODES
2007
IEEE
15 years 6 months ago
2007
IEEE
Today's MPSoC synthesis and exploration design flows start abstract input specification model captured in a system level design language. Usually this model is created from a...