1686 search results - page 274 / 338 » Programs as polygraphs: computability and complexity |
119
click to vote
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
Designing and testing distributed applications is still a difficult task that requires in-depth knowledge about networking issues. Eclipse is, among other things, a powerful and w...
103
click to vote
EDOC
2007
IEEE
15 years 1 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
109
click to vote
EGICE
2006
15 years 1 months ago
2006
Abstract. In knowledge representation by fuzzy rule based systems two reasoning mechanisms can be distinguished: conjunction-based and implication-based inference. Both approaches ...
100
click to vote
SPIN
2000
Springer
15 years 1 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
113
click to vote
ARC
2008
Springer
14 years 11 months ago
2008
Springer
As embedded applications are getting more complex, they are also demanding highly diverse computational capabilities. The majority of all previously proposed reconfigurable archite...