1781 search results - page 286 / 357 » Functional Answer Set Programming |
100
click to vote
IPPS
1994
IEEE
15 years 5 months ago
1994
IEEE
Present-day parallel computers often face the problems of large software Overheadsfor process switching and interprocessor communication. These problems are addressed by the Multi...
113
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
112
click to vote
ASAP
2004
IEEE
15 years 5 months ago
2004
IEEE
Distributed local memories, or scratchpads, have been shown to effectively reduce cost and power consumption of application-specific accelerators while maintaining performance. Th...
147
click to vote
DEXA
1997
Springer
15 years 5 months ago
1997
Springer
Nowadays, if we want to obtain a sound and correct final software product it is very important to be able to properly join modern OO programming environments, which are built for ...
103
click to vote
APSEC
2008
IEEE
15 years 3 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...