Filters








43,411 Hits in 5.8 sec

Soft News

1987 IEEE Software  
, it's not too late, to get involved. engineering program with the most speedup (measured [A.  ...  moving to a new Computer-science research programs under Bell have been paradigm, rather than magic tools or techniques to make the criticized by some for ignoring software in favor of hardware programming  ...  , write technical ger, program-design-language tools, the Defense Data Network (such as Bit-reports, and maintain the repository. standards checkers, and "pretty net, CSnet, and Usenet), and by mag- printers  ... 
doi:10.1109/ms.1987.231075 fatcat:xkrtyc2dqnfn3msol6vbyutylu

Soft News

1986 IEEE Software  
"For scientific com-Lisp programs are run, thus wasting only programming language. "We putation they probably teach Pascal.  ...  The question to be proves that the user can be ignorant However, making simulation software addressed is "Who are you designing about programming and still effectively available to the engineering and  ... 
doi:10.1109/ms.1986.233086 fatcat:qj3cmwvfx5ghzfy5do5ddetwfm

Soft News

1984 IEEE Software  
"My experience has been that I would not tackle the work I do in Visicalc in one of the more conventional programming languages.  ...  The second report, entitled Trends and Opportunites in Fourth-Generation Languages, examines the fourth-generation language market with analyses of who makes the decision to buy them, how they are used  ... 
doi:10.1109/ms.1984.229757 fatcat:46y5qsa7u5hitkszewaacum6ta

Soft News

1985 IEEE Software  
making efforts to promote it.  ...  But most laws do not covet the copying and abuse of computerized information.  ... 
doi:10.1109/ms.1985.231037 fatcat:di5iaavk2zg3zdu2oi53zmqz6i

Soft News

1985 IEEE Software  
"We need and advanced development, he noted. make that country the software center to structure it so it is not so complex. tems to software development.  ...  Science Foundation input (see Soft As it stands now, there are no limits News, September 1985 IEEE Software). on access.  ...  predetermined to re-yet avoid the pitfalls, Davis recomof expert system potential involving quire full attention, and beat the bestmended that we "not possible" atheists, "not sure" available chess-playing program  ... 
doi:10.1109/ms.1985.232083 fatcat:rldwpbp27rdx5ckfmtmmlgibji

Soft News

1985 IEEE Software  
If I can use the computer to do this and to protect the language, I'm satisfied.  ...  Computer translation, a field of research in which manufacturers have already invested millions of dollars, has always been hampered by the nature of human language, which is too whimsical and filled with  ... 
doi:10.1109/ms.1985.230365 fatcat:2qf5c7butbbc3l273zwl5xrycq

Soft News

1985 IEEE Software  
Courseware authors involved with the Pal program usually will not do any programming. Instead, they work with a university-supplied design team.  ...  Isaacson-the approximately 8000 vendors of software are just too many for the market to sustain.  ... 
doi:10.1109/ms.1985.230059 fatcat:rancfujwlrby3i22o3n2jkv4h4

Soft News

1985 IEEE Software  
What they do is show the sets Hewlett-Packard personal/professional comtuned in to actual programs. "How ex-puters.  ...  speed computation, they do not offer any paper session; "Software Factory: 97005S.  ... 
doi:10.1109/ms.1985.231766 fatcat:bcfj52jbsbhdlion4wsaahbur4

Soft News

1986 IEEE Software  
Standard programming languages tion is a "fact" that is preponderantly, pert system monitor, and constructed fail to do that because verification across but not always, true). about three quarters of the  ...  art of soft-targets in midcourse to prevent too many control and coordinate the entire ware." warheads to begin reentry over any one system," the Eastport Group found.  ... 
doi:10.1109/ms.1986.232766 fatcat:3ulzqz7dvrdxnmt7jajvachnwq

Soft connections

Michael Pellauer, Michael Adler, Derek Chiou, Joel Emer
2009 Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09  
Hardware-design languages typically impose a rigid communication hierarchy that follows module instantiation.  ...  Soft connections address this problem by allowing the user to specify connection endpoints that are automatically connected at compilation time, rather than by the user.  ...  PHYSICAL INTERCONNECT SHARING Soft connections make life easier for the designer by making module communication implicit.  ... 
doi:10.1145/1629911.1629986 dblp:conf/dac/PellauerACE09 fatcat:wduvqt73hvgvvaozmuydyliywy

Soft Interventions

Jane Vuorinen
2021 Tahiti  
I stress the activity and agency of the editing software as an integral part of the artistic process.  ...  In the analysis, automatization becomes a generative engine, and the editing software a site for artistic creation, rather than a mere post-production tool.  ...  idea of an artist creating something "from scratch." 27 Bogush and Aal-to-Setälä tend not to select software-created image outcomes that are too graphical.  ... 
doi:10.23995/tht.103180 fatcat:azufrg3c25bnnhrivn3rqascvy

Soft contract verification

Phúc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn
2014 Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14  
To overcome these issues, we present soft contract verification, which aims to statically prove either complete or partial contract correctness of components, written in an untyped, higher-order language  ...  It makes effective use of an off-the-shelf solver to decide problems without heavy encodings.  ...  The local functions reverse and make-list do not come with a contract. This problem is more challenging than the original OCaml version of the same program, due to the lack of types.  ... 
doi:10.1145/2628136.2628156 dblp:conf/icfp/NguyenTH14 fatcat:qxbbe2ehijdmjkuisx7fxux4ua

Evolutionary repair of faulty software

Andrea Arcuri
2011 Applied Soft Computing  
Testing and fault localization are very expensive software engineering tasks that have been tried to be automated.  ...  code, e.g. it can make the software slower.  ...  For doing this we should not call an external compiler, because it would run on a separate process, and modifying a compiler for making it communicating by process signals (for example) would be too complicated  ... 
doi:10.1016/j.asoc.2011.01.023 fatcat:m3id67untjdndbsq6ywciyhzsm

Soft Concurrent Constraint Programming [chapter]

Stefano Bistarelli, Ugo Montanari, Francesca Rossi
2002 Lecture Notes in Computer Science  
We propose a timed and soft extension of Concurrent Constraint Programming.  ...  Supported by soft constraints instead of crisp ones, tell and ask agents are now equipped with a preference (or consistency) threshold which is used to determine their success or suspension.  ...  Timed Soft Concurrent Constraint Programming In this section we present the tscc language, which originates from both tccp and sccp.  ... 
doi:10.1007/3-540-45927-8_5 fatcat:i6fmd6vlsrcancnlq6zo65wlki

`Code talk' in soft work

Allen Higgins
2007 Ethnography  
of programming software.  ...  Key aspects of the process of software development -the practice of writing code, coding texts collectively, maintaining and extending source code -are too often glossed or treated unproblematically as  ...  The following account presents an ethnography of code work, the practice of programming (writing) software.  ... 
doi:10.1177/1466138107083563 fatcat:qd3fcevy3nc7dk3daabk2jv6j4
« Previous Showing results 1 — 15 out of 43,411 results