ECLAIR

ECLAIR is a commercial static code analysis tool developed by BUGSENG, LLC for automatic analysis, verification, testing and transformation of C and… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1992-2013
012319922013

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
  • 2013
ECLAIR is a powerful platform for the automatic analysis, verification, testing and transformation of C and C++ programs (with an… (More)
Is this relevant?
2007
2007
ECLAIR is a Prolog-based prototype system aiming to provide a functionally complete environment for the study, development and… (More)
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Applications using traditional protocol stacks (e.g., TCP/IP) from wired networks do not function efficiently in mobile wireless… (More)
  • figure 3
  • figure 4
Is this relevant?
2006
2006
Applications using traditional protocol stacks (e.g. TCP/IP) from wired networks do not function efficiently in mobile wireless… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
We present a novel cognitive agent architecture and demonstrate its effectiveness in the Sense and Respond Logistics (SRL) domain… (More)
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2005
2005
The Engine for Composable Logical Agents with Intuitive Reorganization (ECLAIR) is a cognitive agent architecture that allows an… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2004
2004
Seamless mobility across heterogeneous mobile wireless technologies is now essential as mobile subscribers demand full and cost… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2004
2004
  • The Science of Nature
  • 2004
 
Is this relevant?
1998
1998
In this paper, we describe a system which applies an evidence combination approach for the retrieval of photographs from large… (More)
Is this relevant?
1992
1992
This paper describes ECLAIR, an extensible object-oriented class library, which can be used to construct information retrieval… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 3
  • figure 4
Is this relevant?