3799 search results - page 235 / 760 » An Engineering Approach to Formal Methods |
138
click to vote
ARCS
2006
Springer
15 years 9 months ago
2006
Springer
Today's FPGAs (Field Programmable Gate Arrays) are widely used, but not to their full potential. In Virtex series FPGAs from Xilinx a special feature, the dynamic and partial...
169
click to vote
TKDE
2012
13 years 7 months ago
2012
—Search engine companies collect the “database of intentions”, the histories of their users’ search queries. These search logs are a gold mine for researchers. Search engin...
146
click to vote
XPU
2005
Springer
15 years 10 months ago
2005
Springer
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
148
click to vote
PPPJ
2003
ACM
15 years 10 months ago
2003
ACM
Compared to imperative programming languages like Pascal or Basic, or functional programming languages like ML or Haskell learning Java is hampered by the fact that to get even th...
154
click to vote
ACSAC
2002
IEEE
15 years 10 months ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...