<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns="http://purl.org/rss/1.0/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"><channel rdf:about="https://www.bibsonomy.org/tag/checking"><title>BibSonomy bookmarks for /tag/checking</title><link>https://www.bibsonomy.org/tag/checking</link><description>BibSonomy RSS Feed for /tag/checking</description><items><rdf:Seq><rdf:li rdf:resource="https://stackoverflow.com/questions/49955727/hibernate-read-only-entities-says-saves-memory-by-deleting-database-snapshots"/><rdf:li rdf:resource="http://wordsafety.com/"/><rdf:li rdf:resource="https://www.menti.com/"/><rdf:li rdf:resource="http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html"/><rdf:li rdf:resource="https://www.microsoft.com/en-us/research/project/zing/"/><rdf:li rdf:resource="http://research.microsoft.com/en-us/projects/slam/"/><rdf:li rdf:resource="http://www.cs.colorado.edu/~bec/courses/csci5535-s09/slides/"/><rdf:li rdf:resource="http://texlipse.sourceforge.net/manual/spelling.html"/><rdf:li rdf:resource="https://www.errnet.net/customer_login.html"/><rdf:li rdf:resource="http://www.doccop.com/index.html?nc=40224561"/><rdf:li rdf:resource="http://today.java.net/pub/a/today/2005/08/09/didyoumean.html"/><rdf:li rdf:resource="http://today.java.net/pub/a/today/2005/08/09/didyoumean.html"/><rdf:li rdf:resource="http://www-wi.uni-muenster.de/pi/lehre/ws0607/seminarQS/Ausarbeitungen/Ausarbeitung_Czerwonka.pdf"/><rdf:li rdf:resource="http://www4.informatik.tu-muenchen.de/lehre/seminare/ps/WS0203/desaster/Hampel-ModelChecking-Ausarbeitung-18-12-02.pdf"/></rdf:Seq></items></channel><item rdf:about="https://stackoverflow.com/questions/49955727/hibernate-read-only-entities-says-saves-memory-by-deleting-database-snapshots"><title>java - Hibernate read only entities says saves memory by deleting database snapshots - Stack Overflow</title><description>When Hibernate loads an object into a Session it creates a state snapshot of the current database state of the object, so that it can perform dirty checking against the snapshot.

As a read only object will never be modified, this snapshot is not needed and memory can be saved.</description><link>https://stackoverflow.com/questions/49955727/hibernate-read-only-entities-says-saves-memory-by-deleting-database-snapshots</link><dc:creator>jil</dc:creator><dc:date>2023-10-25T16:27:36+02:00</dc:date><dc:subject>checking dirty hibernate only read session snapshot </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;When Hibernate loads an object into a Session it creates a state snapshot of the current database state of the object, so that it can perform dirty checking against the snapshot.

As a read only object will never be modified, this snapshot is not needed and memory can be saved.&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/dirty"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/hibernate"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/only"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/read"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/session"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/snapshot"/></rdf:Bag></taxo:topics></item><item rdf:about="http://wordsafety.com/"><title>WordSafety.com</title><description></description><link>http://wordsafety.com/</link><dc:creator>schmidt2</dc:creator><dc:date>2020-05-08T15:25:56+02:00</dc:date><dc:subject>checking language naming online_ressource pr validator </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2020-05-08T15:25:56+02:00&#034; href=&#034;http://wordsafety.com/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://wordsafety.com/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/language"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/naming"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/online_ressource"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/pr"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/validator"/></rdf:Bag></taxo:topics></item><item rdf:about="https://www.menti.com/"><title>Join a presentation - Mentimeter</title><description></description><link>https://www.menti.com/</link><dc:creator>brightbyte</dc:creator><dc:date>2019-12-10T20:25:37+01:00</dc:date><dc:subject>checking cloud poll polling survey vote word </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2019-12-10T20:25:37+01:00&#034; href=&#034;https://www.menti.com/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://www.menti.com/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/cloud"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/poll"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/polling"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/survey"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/vote"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/word"/></rdf:Bag></taxo:topics></item><item rdf:about="http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html"><title>The PlusCal Algorithm Language</title><description></description><link>http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html</link><dc:creator>bshanks</dc:creator><dc:date>2016-12-12T10:00:54+01:00</dc:date><dc:subject>pluscal algorithm model check checking checker correctness pl validate leslie lamport </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2016-12-12T10:00:54+01:00&#034; href=&#034;http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://research.microsoft.com/en-us/um/people/lamport/tla/pluscal.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/pluscal"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/algorithm"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/check"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checker"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/correctness"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/pl"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/validate"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/leslie"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lamport"/></rdf:Bag></taxo:topics></item><item rdf:about="https://www.microsoft.com/en-us/research/project/zing/"><title>Zing - Microsoft Research</title><description></description><link>https://www.microsoft.com/en-us/research/project/zing/</link><dc:creator>jil</dc:creator><dc:date>2016-10-20T16:25:52+02:00</dc:date><dc:subject>checker checking model open source zing </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2016-10-20T16:25:52+02:00&#034; href=&#034;https://www.microsoft.com/en-us/research/project/zing/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://www.microsoft.com/en-us/research/project/zing/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checker"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/open"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/source"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/zing"/></rdf:Bag></taxo:topics></item><item rdf:about="http://research.microsoft.com/en-us/projects/slam/"><title>SLAM - Microsoft Research</title><description></description><link>http://research.microsoft.com/en-us/projects/slam/</link><dc:creator>jil</dc:creator><dc:date>2014-09-16T17:27:59+02:00</dc:date><dc:subject>checker checking device driver microsoft model slam system </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2014-09-16T17:27:59+02:00&#034; href=&#034;http://research.microsoft.com/en-us/projects/slam/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://research.microsoft.com/en-us/projects/slam/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checker"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/device"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/driver"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/microsoft"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/slam"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/system"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.cs.colorado.edu/~bec/courses/csci5535-s09/slides/"><title>Index of /~bec/courses/csci5535-s09/slides</title><description></description><link>http://www.cs.colorado.edu/~bec/courses/csci5535-s09/slides/</link><dc:creator>jil</dc:creator><dc:date>2014-09-16T17:02:46+02:00</dc:date><dc:subject>checking lecture model slides </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2014-09-16T17:02:46+02:00&#034; href=&#034;http://www.cs.colorado.edu/~bec/courses/csci5535-s09/slides/&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://www.cs.colorado.edu/~bec/courses/csci5535-s09/slides/&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lecture"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/slides"/></rdf:Bag></taxo:topics></item><item rdf:about="http://texlipse.sourceforge.net/manual/spelling.html"><title>Spell Checking</title><description>Spell Checking for the TeXlipse Eclipse Plugin</description><link>http://texlipse.sourceforge.net/manual/spelling.html</link><dc:creator>schmidt2</dc:creator><dc:date>2011-02-11T21:30:12+01:00</dc:date><dc:subject>checking doc docs eclipse latex manual spell texlipse </dc:subject><content:encoded>&lt;span itemprop=&#034;description&#034;&gt;Spell Checking for the TeXlipse Eclipse Plugin&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/doc"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/docs"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/eclipse"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/latex"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/manual"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/spell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/texlipse"/></rdf:Bag></taxo:topics></item><item rdf:about="https://www.errnet.net/customer_login.html"><title>ErrNET Customer Login</title><description></description><link>https://www.errnet.net/customer_login.html</link><dc:creator>karinnadrowski</dc:creator><dc:date>2010-05-19T18:14:31+02:00</dc:date><dc:subject>bgc checking errnet error </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2010-05-19T18:14:31+02:00&#034; href=&#034;https://www.errnet.net/customer_login.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;https://www.errnet.net/customer_login.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/bgc"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/errnet"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/error"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www.doccop.com/index.html?nc=40224561"><title>DOC Cop = Accurate + Fast + Free + Simple + Plagiarism Detection</title><description></description><link>http://www.doccop.com/index.html?nc=40224561</link><dc:creator>fabian</dc:creator><dc:date>2009-07-22T02:00:09+02:00</dc:date><dc:subject>checking plagiarism </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2009-07-22T02:00:09+02:00&#034; href=&#034;http://www.doccop.com/index.html?nc=40224561&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://www.doccop.com/index.html?nc=40224561&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/plagiarism"/></rdf:Bag></taxo:topics></item><item rdf:about="http://today.java.net/pub/a/today/2005/08/09/didyoumean.html"><title>java.net: Did You Mean: Lucene?</title><description></description><link>http://today.java.net/pub/a/today/2005/08/09/didyoumean.html</link><dc:creator>bugsbunny</dc:creator><dc:date>2009-02-19T19:40:40+01:00</dc:date><dc:subject>check checking java korrektur lucene spell sprache wort </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2009-02-19T19:40:40+01:00&#034; href=&#034;http://today.java.net/pub/a/today/2005/08/09/didyoumean.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://today.java.net/pub/a/today/2005/08/09/didyoumean.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/check"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/java"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/korrektur"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lucene"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/spell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/sprache"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wort"/></rdf:Bag></taxo:topics></item><item rdf:about="http://today.java.net/pub/a/today/2005/08/09/didyoumean.html"><title>java.net: Did You Mean: Lucene?</title><description></description><link>http://today.java.net/pub/a/today/2005/08/09/didyoumean.html</link><dc:creator>dbenz</dc:creator><dc:date>2009-02-19T18:07:07+01:00</dc:date><dc:subject>checking korrektur lucene spell sprache wort </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2009-02-19T18:07:07+01:00&#034; href=&#034;http://today.java.net/pub/a/today/2005/08/09/didyoumean.html&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://today.java.net/pub/a/today/2005/08/09/didyoumean.html&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/korrektur"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/lucene"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/spell"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/sprache"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/wort"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www-wi.uni-muenster.de/pi/lehre/ws0607/seminarQS/Ausarbeitungen/Ausarbeitung_Czerwonka.pdf"><title>Model-Checking mit dem Java-PathFinder</title><description></description><link>http://www-wi.uni-muenster.de/pi/lehre/ws0607/seminarQS/Ausarbeitungen/Ausarbeitung_Czerwonka.pdf</link><dc:creator>sypirha</dc:creator><dc:date>2008-05-31T12:59:06+02:00</dc:date><dc:subject>checking model </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2008-05-31T12:59:06+02:00&#034; href=&#034;http://www-wi.uni-muenster.de/pi/lehre/ws0607/seminarQS/Ausarbeitungen/Ausarbeitung_Czerwonka.pdf&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://www-wi.uni-muenster.de/pi/lehre/ws0607/seminarQS/Ausarbeitungen/Ausarbeitung_Czerwonka.pdf&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/></rdf:Bag></taxo:topics></item><item rdf:about="http://www4.informatik.tu-muenchen.de/lehre/seminare/ps/WS0203/desaster/Hampel-ModelChecking-Ausarbeitung-18-12-02.pdf"><title>Model Checking</title><description></description><link>http://www4.informatik.tu-muenchen.de/lehre/seminare/ps/WS0203/desaster/Hampel-ModelChecking-Ausarbeitung-18-12-02.pdf</link><dc:creator>sypirha</dc:creator><dc:date>2008-05-30T15:08:48+02:00</dc:date><dc:subject>checking model </dc:subject><content:encoded>&lt;a itemprop=&#034;url&#034; data-versiondate=&#034;2008-05-30T15:08:48+02:00&#034; href=&#034;http://www4.informatik.tu-muenchen.de/lehre/seminare/ps/WS0203/desaster/Hampel-ModelChecking-Ausarbeitung-18-12-02.pdf&#034; rel=&#034;nofollow&#034; class=&#034;description-link&#034;&gt;http://www4.informatik.tu-muenchen.de/lehre/seminare/ps/WS0203/desaster/Hampel-ModelChecking-Ausarbeitung-18-12-02.pdf&lt;/a&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://www.bibsonomy.org/tag/checking"/><rdf:li rdf:resource="https://www.bibsonomy.org/tag/model"/></rdf:Bag></taxo:topics></item></rdf:RDF>